781. Automated Technology for Verification and Analysis
Author: / Supratik Chakraborty, Madhavan Mukund
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
782. Automated Technology for Verification and Analysis
Author: / ois RaskinغFran-Franck Cassez, Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
783. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
784. Automated defect prevention
Author: / Dorota Huizinga, Adam Kolawa
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software failures--Prevention--Data processing,Software maintenance--Data processing,Debugging in computer science--Automatic control,Computer programs--Testing--Data processing,Computer programs--Correctness
Classification :
QA
,
76
.
76
,.
F34
,
H85
,
2007
785. Automated defect prevention :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software failures ; Prevention ; Data processing. ; Software maintenance ; Data processing. ; Debugging in computer science ; Automatic control. ; Computer programs ; Testing ; Data processing. ; Computer programs ; Correctness. ;
786. Automatic Digital Document Processing and Management: Problems, Algorithms and Techniques
Author: / Stefano Ferilli (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
787. Automatic Generation of Combinatorial Test Data
Author: / Jian Zhang, Zhiqiang Zhang, Feifei Ma
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
788. Automatic re-engineering of software using genetic programming
Author: / by Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic programming (Computer science),Software reengineering
Classification :
QA76
.
623
.
R93
2000
789. Automatic re-engineering of software using genetic programming
Author: / by Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic programming (Computer science),Software reengineering
Classification :
QA76
.
623
.
R93
2000
790. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
Author: Mainul Islam
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
791. Automating Instructional Design:
Author: edited by Robert D. Tennyson, Ann E. Barron.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Educational technology.,Software engineering.
792. Automotive systems and software engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineeringAutomatic programming (Computer science)
793. Autonomic Computing
Author: / Philippe Lalanda, Julie A. McCann, Ada Diaconescu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
794. Autonomic and Trusted Computing
Author: / Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
795. Autonomic and Trusted Computing
Author: / a Villalba, Andy Xiaolin Li, Yan Wangکrmol, Luis Javier Garcعmez Mلlix GفJose M. Alcaraz Calero, Laurence T. Yang, F
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
796. Autonomous Intelligent Vehicles: Theory, Algorithms, and Implementation
Author: / Hong Cheng (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
797. Autonomous Systems :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automation.,Computer science.,Engineering.,Operating systems (Computers),Software engineering.,Structural control (Engineering),Artificial intelligence.,Automation.,Automation.,Computer science.,Engineering.,Ingénierie.,Intelligent control systems.,Operating systems (Computers),Software engineering.,Structural control (Engineering)
Classification :
Q334
.
A98
2008
798. Autonomy Requirements Engineering for Space Missions
Author: / Emil Vassev, Mike Hinchey
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
799. Autotools: A Practitioner's Guide to GNU Autoconf, Automake, and Libtool
Author: / John Calcote
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
800. Aware Applications -Location
Author: / Richard Ferraro, Murat Aktihanoglu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
